// This header is only for clangd. Never include in sw5gcc
#define __mode__(x)
#define init_priority(x)
typedef double doublev4;
doublev4 __builtin_sw_vcpyfd(doublev4);
doublev4 __builtin_sw_vcpysd(doublev4, doublev4);
